Elective Modules of Computer Science

Module	LV Type	CP	LV	Dates
Advanced Internet Technology	Fach-/Modulprüfung	6	515003
Advanced Network Security	Fach-/Modulprüfung	6	521934
Advanced Network Security	Vorlesung/Übung		521932	Do 10:30-12:00 BS II (2131\|102) (×15) Fr 08:30-10:00 H05 (1385\|105) (×11)
Algorithmic Cryptography	Fach-/Modulprüfung	6	516962
Algorithmic Learning Theory	Fach-/Modulprüfung	6	515276
Algorithmic Model Theory I	Fach-/Modulprüfung	8	515396
Algorithms for Politics	Fach-/Modulprüfung	6	516657
Analysis of Algorithms	Fach-/Modulprüfung	8	515508
Artificial Intelligence	Fach-/Modulprüfung	6	514964
	Fach-/Modulprüfung		516718
	Vorlesung/Übung		511285	Mi 14:30-16:00 AH V (2356\|050) (×11) Do 18:30-20:00 AH V (2356\|050) (×12) Fr 08:30-10:00 AH V (2356\|050) (×13)
Communication Systems Engineering	Fach-/Modulprüfung	6	514934
Communication Systems Engineering	Vorlesung/Übung		510524	Mo 14:30-16:00 AH I (2350\|028) (×11) Mo 14:30-16:00 AH IV (2354\|030) (×1) Mi 10:30-12:00 AH I (2350\|028) (×10) Do 10:30-12:00 AH I (2350\|028) (×8)
Computer Graphics	Fach-/Modulprüfung	6	514569
	Übung		510608	Do 12:30-14:00 AH I (2350\|028) (×15)
	Vorlesung		512062	Di 12:30-14:00 AH V (2356\|050) (×14) Do 10:30-12:00 AH V (2356\|050) (×15)
Computer Vision 2	Fach-/Modulprüfung	6	516913
Computer Vision 2	Fach-/Modulprüfung		516993
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	519437
Designing Interactive Systems I	Fach-/Modulprüfung		517530
	Vorlesung/Übung		510869	Di 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×15) Mi 09:30-12:00 Großer B-IT Raum (2356\|053.2) (×15)
	Vorlesung/Übung		512284	Di 13:00-15:30 Extern (×12) Di 15:45-17:15 Extern (×13)
	Fach-/Modulprüfung	6	514546
Distributed Ledger Technology	Fach-/Modulprüfung	4	557380
Distributed Ledger Technology	Vorlesung/Übung		514235	Mi 12:30-15:00 Großer B-IT Raum (2356\|053.2) (×15)
Dynamical Processes on Networks	Fach-/Modulprüfung	6	516588
	Übung		521080	Do 10:30-12:00 5054 (2356\|054) (×14)
	Vorlesung		521079	Di 12:30-14:00 UMIC_024 (2165\|024) (×13) Do 16:30-18:00 5054 (2356\|054) (×15)
Foundations of the UML	Fach-/Modulprüfung	6	518548
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	517159
	Übung		513423	Fr 10:30-12:00 PPS H2 (2315\|001) (×14)
	Vorlesung		513422	Mi 16:30-18:00 5056 (2356\|056) (×15)
Geometry Processing	Fach-/Modulprüfung	6	519438
Graph Decompositions and Algorithmic Applications	Fach-/Modulprüfung	6	519091
	Übung		521730	Mo 12:30-14:00 AH I (2350\|028) (×14)
	Vorlesung		521729	Mi 10:30-12:00 AH III (2350\|314.1) (×13) Fr 12:30-14:00 AH III (2350\|314.1) (×9)
High-Performance Computing	Fach-/Modulprüfung	6	515017
High-Performance Computing	Vorlesung/Übung		512750	Mo 10:30-12:00 H06 (1385\|004) (×13) Do 10:30-12:00 H05 (1385\|105) (×8)
High-performance Matrix Computations	Fach-/Modulprüfung	6	518939
High-performance Matrix Computations	Vorlesung/Übung		520981	Mi 12:30-14:00 BS 218 (2130\|218) (×15) Fr 10:30-12:00 H10 (1385\|217) (×14)
Implementation of Databases	Fach-/Modulprüfung	6	516854
Implementation of Databases	Vorlesung/Übung		511755	Mo 08:30-10:00 AH V (2356\|050) (×1) Mo 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×11) Fr 08:30-10:00 AH I (2350\|028) (×12)
Industrial Network Security	Fach-/Modulprüfung	6	516949
	Übung		514453	Do 10:30-12:00 AH II (2350\|111) (×6)
	Vorlesung		513657	Di 10:30-12:00 AH V (2356\|050) (×10) Mi 10:30-12:00 AH V (2356\|050) (×12) Mi 13:00-14:00 Extern (×1)
Infinite Computations and Games	Fach-/Modulprüfung	6	515676
	Übung		511488	Mo 12:30-14:00 5056 (2356\|056) (×12) Di 13:00-14:00 AH IV (2354\|030) (×1) Fr 13:00-14:00 AH IV (2354\|030) (×1)
	Vorlesung		511721	Mo 12:30-14:00 5056 (2356\|056) (×14) Do 12:30-14:00 5056 (2356\|056) (×12)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	518526
Introduction to Algorithmic Differentiation	Vorlesung/Übung		510858	Di 10:30-12:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH IV (2354\|030) (×15)
Introduction to Program Synthesis	Fach-/Modulprüfung	6	534672
	Übung		534671	Do 10:30-12:00 Extern (×15) Do 12:30-14:00 Extern (×15)
	Vorlesung		534668	Mi 12:30-14:00 Extern (×15)
iOS Application Development	Fach-/Modulprüfung	6	517611
	Fach-/Modulprüfung		519215
	Vorlesung		512004	Mo 12:30-14:00 Extern (×15) Di 10:30-12:00 Extern (×14)
IT-Security 1 - Cryptographic Basics and Network Security	Fach-/Modulprüfung	6	516310
IT-Security 2 - Computer Security	Fach-/Modulprüfung	6	518937
Logic and Games	Fach-/Modulprüfung	8	517305
Logic and Games	Fach-/Modulprüfung	8	517304
Model Checking	Fach-/Modulprüfung	6	518530
	Übung		521372	Mo 12:30-14:00 5056 (2356\|056) (×1) Di 10:45-13:15 5056 (2356\|056) (×1) Do 08:30-10:00 AH III (2350\|314.1) (×10) Do 09:55-12:30 5056 (2356\|056) (×1)
	Vorlesung		521373	Mi 12:30-14:00 AH I (2350\|028) (×12) Do 10:30-12:00 AH III (2350\|314.1) (×14)
Model-Based Software Engineering	Fach-/Modulprüfung	6	519435
Model-Based Software Engineering	Vorlesung/Übung		513782	Di 14:30-16:00 AH I (2350\|028) (×9) Mi 14:30-16:00 AH I (2350\|028) (×7) Do 10:30-12:00 AH VI (2356\|051) (×7)
Model-based Systems Engineering	Fach-/Modulprüfung	6	516481
Model-based Systems Engineering	Vorlesung/Übung		513284	Di 14:30-16:00 AH I (2350\|028) (×9) Mi 14:30-16:00 AH I (2350\|028) (×7) Do 10:30-12:00 AH VI (2356\|051) (×7)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	516275
Module Complexity Theory	Fach-/Modulprüfung	6	515647
Object Oriented Software Construction	Fach-/Modulprüfung	6	515005
	Übung		521558	Fr 14:30-16:00 AH III (2350\|314.1) (×14)
	Vorlesung		521557	Di 10:00-11:30 5054 (2356\|054) (×1) Do 12:30-14:00 AH III (2350\|314.1) (×15) Do 15:00-16:00 5054 (2356\|054) (×1) Fr 08:30-10:00 AH II (2350\|111) (×1) Fr 10:30-12:00 AH IV (2354\|030) (×13)
Parameterized Algorithms	Fach-/Modulprüfung	8	518531
Physically-Based Animation	Fach-/Modulprüfung	6	519462
	Fach-/Modulprüfung		518622
	Vorlesung/Übung		511064	Mi 10:30-12:00 AH VI (2356\|051) (×15) Fr 10:30-12:00 5056 (2356\|056) (×14)
Post-quantum cryptography	Fach-/Modulprüfung	6	517281
Post-quantum cryptography	Vorlesung/Übung		513330	Mo 10:30-12:00 AH II (2350\|111) (×15) Mi 12:30-14:00 AH III (2350\|314.1) (×14) Do 16:30-18:00 AH V (2356\|050) (×12)
Probabilistic Programming	Fach-/Modulprüfung	4	515534
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	518986
Research Focus Class on Data Ecosystems	Fach-/Modulprüfung	6	534708
Research Focus Class on Learning Technologies	Projekt		534356
Research Focus Class on Learning Technologies	Fach-/Modulprüfung	6	572941
Satisfiability Checking	Fach-/Modulprüfung	6	515602
Satisfiability Checking	Vorlesung/Übung		511645	Mo 08:30-10:00 AH I (2350\|028) (×13) Mo 16:30-17:15 5056 (2356\|056) (×14) Di 08:30-10:00 AH V (2356\|050) (×13)
Social and Technological Change	Fach-/Modulprüfung	6	516515
Social and Technological Change	Vorlesung/Übung		514187	Di 16:30-18:00 H10 (1385\|217) (×12) Do 16:30-18:00 SG 513 (1810\|513) (×12)
Software Quality Assurance	Fach-/Modulprüfung	6	518510
Statistical Methods in Natural Language Processing	Fach-/Modulprüfung	8	515381
Stochastic Processes and Dynamical Systems	Vorlesung		513893	Mo 12:30-14:45 Extern (×12)
Stochastic Processes and Dynamical Systems	Fach-/Modulprüfung	4	517988
Virtual Reality	Fach-/Modulprüfung	6	514995
	Fach-/Modulprüfung		517764
	Vorlesung/Übung		511048	Mo 14:30-16:00 AH VI (2356\|051) (×14) Di 10:30-12:00 AH VI (2356\|051) (×13)